python type hints example